Purely functional

Results: 42



#Item
31Functional languages / OCaml / Purely functional / Data structure / Caml / ML / SQL / Reference / Software engineering / Computing / Computer programming

Semantics of Mergeable Data-structures Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed “MirageOS” [4] which compiles complex

Add to Reading List

Source URL: thomas.gazagnaire.org

Language: English - Date: 2015-01-26 09:56:44
32Functional languages / OCaml / Purely functional / Data structure / Caml / ML / SQL / Reference / Software engineering / Computing / Computer programming

Semantics of Mergeable Data-structures Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed “MirageOS” [4] which compiles complex

Add to Reading List

Source URL: gazagnaire.org

Language: English - Date: 2015-01-26 09:56:44
33Abstract data types / Functional languages / Functional programming / Lazy evaluation / Python / Double-ended queue / Standard ML / Purely functional / Amortized analysis / Software engineering / Computer programming / Computing

Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS[removed]School of Computer Science

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-06-25 19:44:13
34Lisp programming language / Binary trees / Data types / Functional languages / Binary search tree / Cons / Lisp / List / T-tree / Software engineering / Computer programming / Computing

Notes about Purely Functional Data Structures Gene Michael Stover created Sunday, 2005 November 27 updated Sunday, 2006 March 12 2

Add to Reading List

Source URL: cybertiggyr.com

Language: English - Date: 2014-06-08 02:31:46
35Abstract data types / Functional languages / Functional programming / Lazy evaluation / Python / Double-ended queue / Standard ML / Purely functional / Amortized analysis / Software engineering / Computer programming / Computing

Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS[removed]School of Computer Science

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-06-25 19:44:13
36Planar graphs / Data structures / Association for Computing Machinery / Robert Tarjan / Summer Science Program / Purely functional / Planarity testing / Lowest common ancestor / Disjoint-set data structure / Graph theory / Mathematics / Graph connectivity

Curriculum Vitae Robert Endre Tarjan December 17, 2012 Home: 4 Constitution Hill East Princeton, New Jersey 08540

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2012-12-20 11:17:44
37Computing / Adjoint functors / Models of computation / Logic in computer science / Monad / Denotational semantics / Lambda calculus / Haskell / Purely functional / Declarative programming / Software engineering / Functional programming

Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2007-12-12 03:05:56
38Planar graphs / Association for Computing Machinery / Data structures / Robert Tarjan / Summer Science Program / Purely functional / Planarity testing / Paris Kanellakis Award / Dominator / Graph theory / Mathematics / Graph connectivity

R. E. Tarjan 4 Curriculum Vitae Robert Endre Tarjan January 5, 2010

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2010-03-30 15:10:23
39Science / Association for Computing Machinery / Data structures / Robert Tarjan / Summer Science Program / Planarity testing / John Hopcroft / Purely functional / Dominator / Computer science / Turing Award laureates / Graph theory

Curriculum Vitae Robert Endre Tarjan December 17, 2012

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2012-12-20 11:22:21
40Evaluation strategy / Functional programming / Functional reactive programming / Reactive programming / Graphical user interface / GUI widget / Purely functional / User interface / JavaScript / Software engineering / Computing / Programming paradigms

Elm: Concurrent FRP for Functional GUIs Evan Czaplicki 30 March 2012

Add to Reading List

Source URL: www.testblogpleaseignore.com

Language: English - Date: 2012-04-10 02:57:06
UPDATE